\begin{tabbing}
$\forall$$P$:($\mathbb{N}\rightarrow\mathbb{P}$).
\\[0ex]($\forall$$n$:$\mathbb{N}$. Dec($P$($n$)))
\\[0ex]$\Rightarrow$ \=($\forall$$n$:$\mathbb{N}$.\+
\\[0ex]($\forall$$y$:$\mathbb{N}$. ($y$ $\leq$ $n$) $\Rightarrow$ ($\neg$$P$($y$)))
\\[0ex]$\vee$ ($\exists$$y$:$\mathbb{N}$. (($y$ $\leq$ $n$) \& $P$($y$) \& ($\forall$$x$:$\mathbb{N}$. (($y$ $<$ $x$) \& ($x$ $\leq$ $n$)) $\Rightarrow$ ($\neg$$P$($x$))))))
\-
\end{tabbing}